Formal Approaches to Denial of Service Verification

With the continued growth of electronic commerce, voting, emergency, governmental and other informational systems the threat of massive network disruptions has never been more real. Hence, the development of denial of service countermeasures must be expanded. Recent work has shown that modifying known methods for verification (i.e. cryptographic protocol verification) prove useful in developing new ways of verifying availability properties. This paper seeks to articulate some of the current trends in formal approaches to attacking the denial of service problem.